翻訳と辞書 Words near each other ・ Forma Urbis Romae ・ Forma viva ・ Formability ・ FORMAC (programming language) ・ Formac Elektronik GmbH ・ Formacja Nieżywych Schabuff ・ Formaggio di Fossa ・ Formai de Mut dell'Alta Valle Brembana ・ Formakin House ・ Formal ・ Formal (university) ・ Formal act of defection from the Catholic Church ・ Formal and effective rights ・ Formal and material principles of theology ・ Formal Approaches to Slavic Linguistics ・ Formal Aspects of Computing ・ Formal balance ・ Formal ball ・ Formal calculation ・ Formal case ・ Formal charge ・ Formal concept analysis ・ Formal consensus ・ Formal contract ・ Formal derivative ・ Formal distinction ・ Formal epistemology ・ Formal equivalence checking ・ Formal ethics ・ Formal fallacy Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Formal Aspects of Computing ： ウィキペディア英語版 Formal Aspects of Computing ''Formal Aspects of Computing'' (''FAC'') is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society ''Formal Aspects of Computing Science'' Specialist Group. According to the ''Journal Citation Reports'', the journal has a 2010 impact factor of 1.170. == See also == * ''Acta Informatica'' * ''Innovations in Systems and Software Engineering'' 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Formal Aspects of Computing」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.